$\vdash$  $\forall$$i$,$j$:$\mathbb{Z}$. Dec($i$ = $j$)